Je suis actuellement en 1ère année de thèse à Sorbonne Université (LIP6, équipe APR), sous la direction de Christine TASSON, Romain DEMANGEON et Frédéric PESCHANSKI.
Mon sujet est :Machines co-inductives monadiques pour la programmation probabiliste
Dans ce cadre, je m'intéresse principallement aux méthodes formelles, à la sémantique des langages de programmationn probabiliste et à la co-induction.
Au delà de ma thèse, j'ai une licence de philosophie, et suis donc très intéressé par la pluridisciplinarité entre sciences et humanités, principalement autour de la philosophie du langage, la logique, la philosophie de la technique et l'épistémologie.
I am currently a first year Phd student at Sorbonne University (LIP6, APR Team) under the direction of Christine TASSON, Romain DEMANGEON and Frédéric PESCHANSKI.
I am working on the subjectCo-Inductive monadic machines for certified probabilistic programming
I am mainly interested in formal methods, programming language semantics, probabilistic programming, and co-induction.
Besides my Phd, I have a bachelor's degree in Philsophy : I have very interested in pluridisciplinarity between sciences and humanities, mainly philosophy of language, logics, philosophy of techniques and epistemology.